Numbers and propositions: reply to melia

Pointers to Propositions

The semantic paradoxes, whose paradigm is the Liar, played a crucial role at a crucial juncture in the development of modern logic. In his 1908 seminal paper, Russell outlined a system, soon to become that of the Principia Mathematicae, whose main goal was the solution of the logical paradoxes, both semantic and settheoretic. Russell did not distinguish between the two and his theory of types w...

Supplement to “symmetric Propositions and Logical Quantifiers”

This document contains propositions, proofs, and supplementary discussion supporting claims made in the paper “Symmetric propositions and logical quantifiers,” Journal of philosophical logic, forthcoming (henceforth SPLQ). Unless explicitly mentioned otherwise, all references are internal. Section, but not subsection, headings correspond to those of SPLQ. (The latter has no subsections.)

Reply to Nespolo's paper entitled "New invariants and dimensionless numbers: futile renaissance of old allacies?".

included an article by R. F. Nespolo with a very unusual title: " New invariants and dimensionless numbers: futile renaissance of old fallacies? " This paper contains a rather ranting criticism of our paper " Homeostasis and heterostasis: from invariant to dimensionless numbers " (Biol. Res. 36: 211-221, 2003), and therefore we are obliged to respond to Nespolo's comments in detail. A) GENERAL ...

The Authors’ Reply

Zarankiewicz Numbers and Bipartite Ramsey Numbers

The Zarankiewicz number z(b; s) is the maximum size of a subgraph of Kb,b which does not contain Ks,s as a subgraph. The two-color bipartite Ramsey number b(s, t) is the smallest integer b such that any coloring of the edges of Kb,b with two colors contains a Ks,s in the rst color or a Kt,t in the second color.In this work, we design and exploit a computational method for bounding and computing...